home *** CD-ROM | disk | FTP | other *** search
/ Developer Source 6 / developer source - volume 6.iso / ieeex / aug96 / lee0f108.gif < prev    next >
Graphics Interchange Format  |  1997-01-16  |  40.2 KB  |  757x222  |  4-bit (13 colors)
   ocr: TAskiconfigure-a-Modu.el (domain-model)-L. state-model)-. precondition)-IPropositioni(IBackplanel, (Module])) protection)-1: Module:t"J-(Keep)-loptimal-orderi postcondition)-L(NEG) L(NEG)- Proposition: Pul),(NEG)-PIProposition: [P121111 (P11l.. (Current-Modulek IcompatiDie) (configured-into)- - current-Backplanell Pi21... : (mD)-tcuremt-manle) / compatible)- Icurrent-Backplanell,Lcurrent-Backplane) (status) PIModuled-Backplane)) Figure 8. The conceptiual graph for the functional specification e(Configure-a-Module.